1. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019